881. Verifying concurrent processes using temporal logic
پدیدآورنده : Hailpern, Brent Tzion
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Parallel processing )Electronic computers(,، Computer programs - Verification
رده :
QA
76
.
L4
v
.
129
882. Verifying concurrent processes using temporal logic
پدیدآورنده : Hailpern, Brent Tzion
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer programs-- Verification
رده :
QA
76
.
6
.
H295
1982
883. Verifying concurrent processes using temporal logic
پدیدآورنده : Hailpern, Brent Tzion, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
129
884. WOPPLOT 83 : Parallel Proceeding : Logic, Organization and Technology : Proceedings of a Workshop held at the Federal Armed Forces University Munich )HSB w M( Neubiberg, Bavaria, Germany, June 27-29,1983
پدیدآورنده : edited by J. Becker, I. Eisele
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QC
3
.
L28
Vol
.
196
885. WOPPLOT 83: parallel processing-- Logic, organization, and technology: proceedings of a workshop held at the Federal Armed Forces University Munich )HSBw M( Neubiberg, Bavaria, Germany, June 27-29, 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
W685
1983
886. WOPPLOT 86: parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
پدیدآورنده : edited by J.D. Becker and I. Eisele
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
253
887. WOPPLOT 86 : parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
پدیدآورنده : WOPPLOT 68, )6891, Neubiberg, Germany(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
253
888. WOPPLOT 83 : parallel processing--logic, organization, and technology : proceedings of a workshop held at the Federal Armed Forces University Munich )HSBw M( Neubiberg, Bavaria, Germany, June 27-29, 1983
پدیدآورنده : WOPPLOT 38, )3891, Neubiberg, Germany(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Parallel processing )Electronic computers(,، VM/CMS )Computer operating system(
رده :
QA
76
.
6
.
W685
1983
889. advanced computer architecture and parallel processing
پدیدآورنده : Mostafa Abd-El-Barr, Hesham El-Rewini
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Computer architecture,Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
A73
,
A24
2005
890. arrays /-Parallel programming with co
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ;
891. based discrete systems-Dynamic analysis of Petri net
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : time systems. ; Petri nets. ; Parallel processing (Electronic computers) ; -Digital control systems ; Design and construction. ; Discrete
892. concurrency theory-CONCUR 2007
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Machine theory. ;
893. concurrency theory-Concur 2008
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Congresses. ; Parallel programming (Computer science) ;
894. distributed processing, and applications :&Advances in parallel
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Congresses. ;
895. grain parallelism /-Exploitation of fine
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ;
896. grid and cluster computing
پدیدآورنده : / C.S.R. PRABHM
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Electronic data processing, Distributed processing,Parallel processing (Electronic computers)
رده :
QA76
.
9
P7G7
2008
897. oriented parallel environments :-Computing in object
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : oriented programming (Computer science) ; Parallel processing (Electronic computers) ; -Object
898. performance parallel database processing and grid databases-High
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : High performance computing. ; Parallel processing (Electronic computers) ; Computational grids (Computer systems) ;
899. proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Parallel processing )Electronic computers(- Congresses,، Electronic data processing- Distributed processing- Congresses
900. 1997 3rd International Conference on Algorithms and Architectures for Parallel Processing: ICA3PP/97: Melbourne, Australia, December 10-12, 1997
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic Computers(-- Congresses
رده :
QA
76
.
58
.
I528
1997